home *** CD-ROM | disk | FTP | other *** search
/ New Perspectives on Computer Concepts / New Perspectives on Computer Concepts.iso / np2010c / page790.dat < prev    next >
Text File  |  2008-10-09  |  318b  |  11 lines
  1. TXT|246|709|146|19|problem|
  2. TXT|291|749|96|19|solution|
  3. TXT|161|773|142|18|decision|
  4. TXT|274|859|115|19|arguments|
  5. TXT|133|899|115|19|predicate|
  6. TXT|439|709|114|19|constant|
  7. TXT|586|729|112|20|variable|
  8. TXT|551|793|114|19|instantiation|
  9. TXT|439|839|114|18|if|
  10. CHK|569|922|134|36|NP2010 Chap 12 QuickCheck D|
  11.